label begin_func_main:
	begin-get-params
	end-get-params
label begin_block_0:
	bool a
	int b
	bool c
	tmp0 := 0
	a := tmp0
	tmp0 := 1
	c := tmp0
	tmp1 := 5
	b := tmp1
	tmp1 := a
	tmp1 := not tmp1
	a := tmp1
	tmp2 := b
	tmp2 := neg tmp2
	b := tmp2
	tmp2 := c
	tmp2 := not tmp2
	tmp0 := tmp2 or tmp0
	c := tmp0
	begin-call print_bool
	print-param tmp1
	call print_bool
	tmp0 := " "
	begin-call print_string
	print-param tmp0
	call print_string
	tmp0 := b
	begin-call print_int
	print-param tmp0
	call print_int
	tmp0 := " "
	begin-call print_string
	print-param tmp0
	call print_string
	tmp0 := c
	begin-call print_bool
	print-param tmp0
	call print_bool
label end_block_0:
label end_func_main:

